CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL

CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL

Logical Difference and Module Extraction with CEX and MEX

– The module extraction problem: given a terminology T1 and a signature Σ, extract from T1 a minimal self-contained terminology T0 such that T1 and T0 imply the same dependencies between Σ-terms. – The logical diff problem: given a signature Σ and two versions T0 and T1 of a terminology, check whether T0 and T1 are logically different in the sense that they do not imply the same dependencies be...

Theoretical principles of ethical architecture in the holy Quran: On the basis of Aristotelian logic in Islamic school of thought

This research is a Qur'anic review that examines the effects of ethics on architecture from the Holy Qur'an’s point of view with the goal of introducing logical theoretical principals of ethical architecture. In order to reach the research goal, this research conducts the Induction, deduction and reverse extraction of research’s resulted theoretical concepts based on Aristotle's formal logic. T...

An Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)

Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...

Modularity and Web Ontologies

Modularity in ontologies is key both for large scale ontology development and for distributed ontology reuse on the Web. However, the problems of formally characterizing a modular representation, on the one hand, and of automatically identifying modules within an OWL ontology, on the other, has not been satisfactorily addressed, although their relevance has been widely accepted by the Ontology ...